Bishop C. Brock: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

1

[IEEE 2013 IEEE International Symposium on Performance Analysis of Systems and Software (ISPASS) - Austin, TX, USA (2013.04.21-2013.04.23)] 2013 IEEE International Symposium on Performance Analysis of Systems and Software (ISPASS) - Virtual Power Management simulation framework for computer systems

Brock, Bishop, Ramani, Srinivasan, Vu, Ken, Hanson, Heather, Floyd, Michael

Year:

2013

Language:

english

File:

PDF, 156 KB

english, 2013

2

The DUAL-EVAL Hardware Description Language and Its Use in the Formal Specification and Verification of the FM9001 Microprocessor

Bishop C. Brock, Warren A. Hunt

Journal:

Formal Methods in System Design

Year:

1997

Language:

english

File:

PDF, 283 KB

english, 1997

3

[IEEE 2010 IEEE Hot Chips 22 Symposium (HCS) - Stanford, CA, USA (2010.8.22-2010.8.24)] 2010 IEEE Hot Chips 22 Symposium (HCS) - Adaptive energy management features of the POWER7TM processor

Floyd, Michael, Brock, Bishop, Ware, Malcolm, Rajamani, Karthick, Drake, Alan, Lefurgy, Charles, Pesantez, Lorena

Year:

2010

Language:

english

File:

PDF, 56.76 MB

english, 2010

4

Active Guardband Management in Power7+ to Save Energy and Maintain Reliability

Lefurgy, Charles R., Drake, Alan J., Floyd, Michael S., Allen-Ware, Malcolm S., Brock, Bishop, Tierno, Jose A., Carter, John B., Berry, Robert W.

Journal:

Year:

2013

Language:

english

File:

PDF, 5.62 MB

english, 2013

5

Ibrutinib Plus Venetoclax in Relapsed/Refractory Chronic Lymphocytic Leukemia: The CLARITY Study

Hillmen, Peter, Rawstron, Andy C., Brock, Kristian, Muñoz-Vicente, Samuel, Yates, Francesca J., Bishop, Rebecca, Boucher, Rebecca, MacDonald, Donald, Fegan, Christopher, McCaig, Alison, Schuh, Anna, P

Journal:

Journal of Clinical Oncology

Year:

2019

Language:

english

File:

PDF, 662 KB

english, 2019

6

[IEEE 2010 IEEE 16th International Symposium on High Performance Computer Architecture (HPCA) - Bangalore, India (2010.01.9-2010.01.14)] HPCA - 16 2010 The Sixteenth International Symposium on High-Performance Computer Architecture - Architecting for power management: The IBM® POWER7™ approach

Ware, Malcolm, Rajamani, Karthick, Floyd, Michael, Brock, Bishop, Rubio, Juan C, Rawson, Freeman, Carter, John B

Year:

2010

Language:

english

File:

PDF, 451 KB

english, 2010

7

[IEEE 2012 45th Annual IEEE/ACM International Symposium on Microarchitecture (MICRO) - Vancouver, BC, Canada (2012.12.1-2012.12.5)] 2012 45th Annual IEEE/ACM International Symposium on Microarchitecture - Accurate Fine-Grained Processor Power Proxies

Huang, Wei, Lefurgy, Charles, Kuk, William, Buyuktosunoglu, Alper, Floyd, Michael, Rajamani, Karthick, Allen-Ware, Malcolm, Brock, Bishop

Year:

2012

Language:

english

File:

PDF, 1.59 MB

english, 2012

8

Rewriting with Equivalence Relations in ACL2

Bishop Brock, Matt Kaufmann, J Strother Moore

Journal:

Journal of Automated Reasoning

Year:

2008

Language:

english

File:

PDF, 290 KB

english, 2008

9

Mechanized Reasoning and Hardware Design || A Formal HDL and its Use in the FM9001 Verification

Warren A. Hunt and Bishop C. Brock

Journal:

Philosophical Transactions of the Royal Society Physical and Engineering Sciences (1990-1995)

Year:

1992

Language:

english

File:

PDF, 398 KB

english, 1992

10

[IEEE 2018 IEEE Integrated STEM Education Conference (ISEC) - Princeton, NJ, USA (2018.3.10-2018.3.10)] 2018 IEEE Integrated STEM Education Conference (ISEC) - CIRCUIT summer program: A computational neuroscience outreach experience for high-achieving undergraduates via sponsored research

Encarnacion, Marysol, Bishop, Caitlyn, Downs, Joseph, Drenkow, Nathan, Matelsky, Jordan K, Rivlin, Patricia K, Wester, Brock, Gray-Roncal, William

Year:

2018

Language:

english

File:

PDF, 298 KB

english, 2018

11

Fire, rodent herbivory, and plant competition: implications for invasion and altered fire regimes in the Mojave Desert

Bishop, Tara B. B., Gill, Richard A., McMillan, Brock R., St. Clair, Samuel B.

Journal:

Year:

2019

File:

PDF, 1.52 MB

2019

12

Decreased protein kinase C activity in hypertrophied left ventricle induced by pressure-overload hypertrophy

Xin Gu, Sanford P. Bishop, Tommy A. Brock, Clifford C. Stephan

Journal:

Journal of Molecular and Cellular Cardiology

Year:

1992

Language:

english

File:

PDF, 90 KB

english, 1992

13

Needle aspiration lung biopsy: reevaluation of the blood patch technique in an equine model.

Moore, E H, Shelton, D K, Wisner, E R, Richardson, M L, Bishop, D M, Brock, J M

Journal:

Year:

1995

Language:

english

File:

PDF, 746 KB

english, 1995

14

Validation of a reverse transcription nested polymerase chain reaction (RT-nPCR) to detect bovine viral diarrhea virus (BVDV) associated with in vitro-derived bovine embryos and co-cultured cells

M.D. Givens, P.K. Galik, K.P. Riddell, D.A. Stringfellow, K.V. Brock, M.D. Bishop, K.J. Eilertsen, N.M. Loskutoff

Journal:

Year:

2001

Language:

english

File:

PDF, 1.17 MB

english, 2001

15

[ACM Press the 44th Annual IEEE/ACM International Symposium - Porto Alegre, Brazil (2011.12.03-2011.12.07)] Proceedings of the 44th Annual IEEE/ACM International Symposium on Microarchitecture - MICRO-44 '11 - Active management of timing guardband to save energy in POWER7

Lefurgy, Charles R., Drake, Alan J., Floyd, Michael S., Allen-Ware, Malcolm S., Brock, Bishop, Tierno, Jose A., Carter, John B.

Year:

2011

Language:

english

File:

PDF, 1.19 MB

english, 2011

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@1delivery.pm

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски